transitive relations

[数] 传递关系